Definition

what is a definition thonk: