Source: http://forallx.openlogicproject.org/solutions/forallxsol.pdf