Thus, given x we optimize the marginal probability function: where p(y | z) is the Kronecker delta function δ e(z),y , which is 1 if the execution of z, denoted as e(z), generates y and 0 otherwise.
we can redefine p(y|x), the marginal over all programs Z, as a marginal over programs that would generate y, defined as Z(y).