https://parspdf.com/downloads/applied-logic/