Benya_Fallenstein comments on Using modal fixed points to formalize logical causality