See https://josd.github.io/eye/#eye-reasoning
