Models, Algebras, And Proofs by Xavier Caicedo & Carlos Montenegro