In order to set up the Dirichlet formula which is needed to discuss the differential operator ly=[-(py')'+qy]/w in a left-definite Sobolev space, the term (py')(z) over bar must be evaluated on the boundary. We give a simple, easy to apply, criterion which shows the boundary evaluation is zero. Examples are then given.