Text this: Introduction to Relation Algebras