Ben's suggestion for destruct; destruct