I wanted to try to properly prove that it didn’t work for y!=9, but I think you covered the edge cases - X=0 or unbounded. Well done!