face aspect of cube, 13 assertions