royal castle subgroup of castle, 2 assertions