Title: Redundant churches