  We study conditions relating to the impossibility of agreeing to disagree in
models of interactive KD45 belief (in contrast to models of S5 knowledge, which
are used in nearly all the agreements literature). We show that even when the
truth axiom is not assumed it turns out that players will find it impossible to
agree to disagree under fairly broad conditions.
