There are a lot of guys on here who can tell you about proofs ECT.