This can be in the 2-value form.