Imperatives and Logic