Example:Everybody loves somebody
From CS2800 wiki
(Redirected from Raymond)
- means "everybody loves somebody"
- means "there is somebody that everyone loves"
A proof of the first fact would have to start by specifying a value of ; this can't depend on because isn't defined yet. So, there would have to be a single person (for example, let Raymond), and argue that since loves raymond, must love .