We survey several well-known direct consequences of very large cardinal axioms.  In particular we intend to cover SCH (Solovay), the failure of the approachability property (Shelah), and the failure of Not So Very Weak Square (Foreman--Magidor).  If time permits, we will discuss a characterization of strong compactness due to Ketonen or the tree property (Magidor-Shelah).