y> 10-x