Title: Imperatives and their Logic