The memorization of definitions is an excellent practice, not as an end in itself, but as a means to the end of effective reasoning.