Transforming Predicates or Updating States? Total Correctness in Dynamic Logic and Structured Programming Marc Pauly Abstract: