great sphinx subgroup of sphinx, 9 assertions