P._Suppes loading ...