little mermaid subgroup of mermaid, 10 assertions