I think this could use a bit more elaboration, since if x-y+y-z < -(|x-y|+|y-z|), then ||x-y|+|y-z|| >= |x-y+y-z| wouldnt be true. This is impossible though since q >= -|q|