orthonormal comments on Using modal fixed points to formalize logical causality

[orthonormal]

Ooh, nice: we don’t need to eliminate all spurious counterfactuals, only the malignant ones!