%% ?- answer(X0).

answer(neq_scalar_same_lexical_fails) :- ("7" \= 7).