User:RoxasNobody/sandbox

Getting started on the theory namespace (citations to come):