Title: Church-rate commutation