Explain binary-amb more carefully, including the effect
of *avoid-false-true-flips*.
Alexey consultation about RAA