quantification (logic)

1. redirectQuantifier (logic)

{{R from alternative title}}