Definitions & basic recap