Definitions for "learnt"