exampleNE0: Philist X Y.all beta.all thetastar
exampleNE1: Philist X Y.all beta.all thetastar
exampleTE0: Philist X Y.all beta.all thetastar
exampleTE1: Philist X Y.all beta.all thetastar
