observed result y
        |
        v
infer possible x