x can have any of four different values.)