Meta theory builds again