Redundant churches