Deciding Which Formula