Stronger_uncertainty_relations loading ...