remove unnecessary exposition.