For all x in the