Text this: Provability in logic.