The Logic Of Imperatives