"with" works like "destruct".