The early study of reverse mathematics revealed an empirical structural phenomenon of mathematics: most theorems from ordinary mathematics are equivalent to one of five main systems of second-order arithmetic. There are however a few exceptions, mostly coming from Ramsey theory. In this tutorial, we present a framework of separation, to prove that two statements are not equivalent in reverse mathematics. For this, we put the emphasis on a central concept in the theory of effective forcing, namely, the forcing question.