The need to see

Movie posters: Into the Abyss

Wikipedia: In constructive mathematics, an apartness relation is a constructive form of inequality, and is often taken to be more basic than equality. →