Come up with many possible answers, formalize them all, and then try to prove or disprove each of them.