proof coin subgroup of coin, 13 assertions