y is only one (just a) step away from x