A pair (2-tuple) can be defined in terms of TRUE and FALSE, by using the Church encoding for pairs.
جفت یک جفت (2-tuple) را می‌توان از نظر TRUE و FALSE تعریف کرد، با استفاده از کلیسای رمزگذاری برای جفت‌ها.