knowledge: remove the unused ObviousEye function