Thanks! This is really fascinating for me, i had never heard of this way of doing proofs and I studied math in college