With the tree gone, we have the opportunity to dig out the rock in the back half of the front yard. Last year, when we did the front half, we left the back half, so as not to disturb the tree. But it died anyway, so we can dig out the back half and have a deeper dirt level for the entire yard.
Without the tree, the front yard is really quite exposed. It gets bright hot Texas sun for much of the day. So we put up a sun shade to try to shelter the area we are working in.
The first problem would seem to be to locate the area that needs to be dug up. We started at where we thought the corner of where we had already dug up would be, but were way off, but moved over more towards the street and the barrier wall between us and the neighbors and found it.
Then we expanded that hole back towards where we had started, down to where it exposed the underlying rock layer.
And we then expanded the hole by digging back towards the house.
The white PVC pipe is just being used to try to define a straight line to delimit the edge of where we are digging.