図1. Cをベースにしたチャーチ・モード