a and b being alternatively specified