History: Reduced logical form: Step 1

Source of version: 1 (current)