answer(foo, atom, <, true).
