This is the definitions box.