https://123dok.org/document/q05poj49-logica-del-primo-ordine.html