Church Rave (Extended Version)

Church Rave (Extended Version)