Qifan Xi (QED)

I eat proofs for breakfast.

Nothing here yet.