Solver Decision | causality