>>>>> Daniel Berlin writes: Daniel> IBM's patent actually runs out in 2003 anyway. Yes, the original Chaitin, et al patent expires in 2003. I do not know if that one patent is sufficient for your and the FSF's needs. David