Kuratowski-finite loading ...