cake pan subgroup of pan, 3 assertions