MPC w paradygmacie Head wyjaśniony przez @mvenkita Oto pełna sesja na tablicy dotycząca systemu dowodowego Ligero: