What if we just formalize some reasonable minimal subset, and call it something else?