Finished implementing DefBook