Function deliberative_stit 

pub fn deliberative_stit(brought_about: bool, could_do_otherwise: bool) -> bool

Deliberative STIT [α dstit φ]: α brought φ about AND φ was not settled (α could have done otherwise) — the genuine-choice reading that grounds moral responsibility.