Formal scrambler with explanations and coherence tips.