Move proofs of special phi to own appendix