Exercise env supports cleveref