small hovercraft subgroup of hovercraft, 2 assertions