History: abstractors with SE and connectives

Source of version: 1 (current)