old castle subgroup of castle, 4 assertions