... the conclusion ...... Well actually KNOWING and actually SEEING is completely different ... almost like intuition. Contrapositives, negations, sufficient assumption, necessary assumptions, etc. you ... also written every single PT multiple times. But you know what ...