Title: Models, Algebras, and Proofs