Text this: Provably Correct Systems