I guess I would want the maximum degree of `x` and `y`, and `degree` automatically gives me that.