simple existence tests and reorganization