------------------------
Universal Skolem Machine
------------------------

See http://skolemmachines.org/reports/SkolemMachines.pdf
