new ferry subgroup of ferry, 8 assertions