Text this: The Logic of Provability/