The non-optional parts of Imp.