>>14
You disagree with what? You can't disagree on the completeness properties of the Sensory input system theorems for example. Thus Mind.forth doesn't work well for you. What is wrong with it? I haven't used PHP so it can be difficult for you to comprehend, but I can port it to PHP albeit a bit cumbersome.