IMperative Theory