containexistence