Initial implementation of cases + homeomorphic embedding