Title: Christopher Pratt: march crossing and proofs