History: Reduced logical form: Step 4

Source of version: 1 (current)