I wonder whether any of you would like to try out the MetiTarski prover: http://www.cl.cam.ac.uk/~lp15/papers/Arith/ It is probably not ready for a general public release but maybe some of you will find it interesting. Note that I shall be away all next week, so if that doesn't work you cannot pester me :-) Larry