Week 2
Expressed exists in terms of forall