shape aspect of solid, 2 assertions