URB #506: The i-Completeness Theorem — All Mathematics as Operations on i | Synapse