Text this: Axiomatizing Maximal Progress and Discrete Time