けんき says to YSITD
y,z can be function of x?