Crystal + Doug - Third Element Proofs