ProofLines Monad Intelligence