The connection of skew Boolean algebras and discriminator varieties to Church algebras