🔍📜⇒✅

#proof #formal logic #implication #deriving conclusion