should be lexically correct