Always set b-state posres, even if identical to a-state