cousin_it comments on Using modal fixed points to formalize logical causality

[cousin_it]

Yes, that’s correct. Thanks!