Work on synchronizing decision=justification and E-matching.