Whereas the first thing for me is the Jasper prover (http://www.jasper-da.com/ http://www.jasper-da.com/) I don't think it's really a problem. If you're worrie

Whereas the first thing for me is the Jasper prover (http://www.jasper-da.com/ http://www.jasper-da.com/) I don't think it's really a problem. If you're worried, just don't build them into the same product :-)