In this problem we wish to show that the procedure both can be taken as the basic quantifier and express the other two quantifiers, neither and at-least-one, in terms of both.

Next, repeat the above exercise and show that at-least-one can be used as the basic quantifier and express the other two quantifiers, both and neither, in terms of at-least-one .

Verify that both sets of definitions are producing correct results.