high elf subgroup of elf, 4 assertions