Title: Imperatives and their logics. --
Subjects: Commands (Logic)