sbool askBack_bool(S question) {
  fail(question);
}