implement trivial checkers for layers and polyhedra