An IBL textbook designed for a one-semester course on proofs (the âbridge courseâ) that also introduces TeX as a tool students can use to communicate their work. Written in an easy-going style, the exposition is just enough to support the activities, and it is clear, concise, and effective.