clean eltoo explainer, symmetry really does kill the penalty-tx bookkeeping