see: http://wiki.openmath.org/    (1P16)