Symbolic planning, decision making, and logics made simple(r).