+++
title = "Representation of predicates"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["2e1b3"]
forwardlinks = ["2e1b3b"]
zettelid = "2e1b3a"
+++

The predicates represent what path was followed getting to the γ
function, which will then be used to select the right variable. However,
there are various different representations of the predicate in the γ
function.