This episode begins Chapter 11 of the podcast, on Relational Type Theory.\xa0 This is a new approach to type theory that I am developing.\xa0 The idea is to design a type system based on the binary relational semantics for types, which we considered in Chapter 10.\xa0 This episode recalls some of that semantics.