Argument_from_a_proper_basis loading ...