static Pair<L<T3<S>>> ai_solveQuestion_seedAndLookingFor(S q) {
  ret pair(
    ll(triple(q, "should be", "answered")),
    ll(triple("$X", "answers", q),
       triple("Answer", "is", "$X")));
}