A type of [[Proof]] to prove $p\to q$ that assumes $p$ is [[Truth Value|true]] and use steps to show $q$ is [[Truth Value|true]].