Fare: "Wow, Paul Wilson's RScheme project does most of what Tunes wants!!! However, it does not tackle the proof part." Can the proof system be implemented on top of RScheme reasonably? -Ken Evitt