Lorelei DeRuiter Proofs