@tornadojoe: proofs used