History: default quantifiers

Source of version: 2 (current)