Models, Algebras, and Proofs