A Hole is to Dig: A First Book of First Definitions