Both logics rolled into single "Decision Logic"