 In the following, we often use the notational conventions that Church adopted from Principia Mathematica (Whitehead &amp; Russell 1910; hereafter PM). When we do so, these conventions are explained and sometimes compared with modern notation.