In [B/D] we adjust beliefs in stages by using the ADJUST:
command to make an initial adjustment, and then to use a modified form
of the ADJUST: command indicating to [B/D] that the following
adjustment is to be made in addition to that which precedes
it.