Title: The logical form of imperatives