Advanced topics in relation algebras.