pub fn always<U, E>() -> Goal<U, E> where U: User, E: Engine<U>,
A relation that succeeds an unbounded number of times.