The Work
The projectibility constraint
The details
The Author
John L. Pollock
The offers