<<Church and addition>>