that is awesome, I always wanted to get more into knowing proofs, where do you find this information