surface rust subgroup of rust, 1 assertions