Updates to theories -- more rules in