https://profilpelajar.com/fa/Method_of_analytic_tableaux