Initial data set rigidity results for polyhedra | Synapse