pub fn chellas_stit(brought_about: bool) -> bool
Chellas STIT [α cstit φ]: α saw to it that φ — here, α brought φ about.
[α cstit φ]