face aspect of octahedron, 3 assertions