little penguin subgroup of penguin, 6 assertions