nomenclature: prefer destruct over destroy