From Tools to Decision Logic