Imperative Logic