Find!
x1 is an x4 (def. x2-1)-dimensional side of x2-dimensional polyhedron x3; x1 is an edge when x4=1; x1 is a vertex when x4=0.
cf. te kubli, cimde