Steinhaus-Moser_notation loading ...