new castle subgroup of castle, 3 assertions