IN THE NAME OF GOD, THE MOST BENEFICENT, THE MOST MERCIFUL
START HERE https://www.logicmatters.net/TYL/
THANKS TO https://www.reddit.com/r/askphilosophy/s/VCgKcmV8OP