Imperative Systems