“New Foundations for Imperative Logic II: Pure Imperative Inference”