Josephson_relation loading ...