Drop the `Definition`