condition aspect of coin, 36 assertions