A._Mostowski loading ...