Add Nehamas collection
Refutation of first definition done