Definiteness loading ...