Sort:  

can add x=0,y=0 and x=1, y=1 but that feels like cheating.

z>=0 just prevent them pesky negatives.