Section III: Postulates# TODO Section III.I: Prior Results# TODO Section III.II: Inverse Postulates# TODO Section III.III: Summary# TODO