Hyperproperty loading ...