A Theory |S, Y, G) EQ [ln P (G