solved exercises before Using [destruct]