Missing rules and more GenDef specs