f([a- ~t, b]).