[gregjor]

I don't think anyone suggested that.

[jmalicki]

I suggested that. You should be able to look at algorithmic code and prove it correct without worrying about running it.