MPC pääparadigmassa selitetään @mvenkita Tässä on täydellinen valkotauluistunto Ligero Proof Systemistä: