destruct should appear last