Add the fucking logic rules in LTS.tex