The left plot shows the I_0 region in pink, I_1 region in orange and the J_x region highlighted by black dashed lines.

The plot on the right shows the I_0 region in pink, the J_xy region in dashed black lines and the K_xy region in blue, the estimate is the thick blue line and has upper and lower bounds in dashed blue lines.

To determine an outcome for a particular gene, check the following in order:

1. Check if the intersect between J_xy, I_0 and I_1 is empty or not. If it isn't empty then the model is viable and step 2 is not required.

2. If the K_xy region intersects with the J_xy region, then the model is viable.

3. In the case that y(x) is singular, the bounds are outside of (0,1) so y(x) is transformed to x(y). If x(y) is contained within J_yx then the model is viable.