Further wellformedness rules
interim