[see also: keep, remain, preserve
We leave the details to the reader.
We leave it to the reader to verify that......
The mapping f leaves the origin fixed.
These results leave open the basic case k=ω.
So s can be thought of as q with Fq extended but Xq left the same.
What is left is to show that......
We are left with the task of determining......