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