If X 3 Y Then Y X 3