Formal decision methods