[cygaril]

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

[Davidzheng]

This is probably partially what they did idk why it's downvoted lol