Text this: Program Logic Foundations: Putting the Logic Back into Program Logic