Learn a new word...
Ctrl+K
Ctrl+Shift+R
prove
Crafting definition...