Add an extra assumption.