Use the devil to save your favorite definitions for later reference.