original cathedral subgroup of cathedral, 4 assertions