Comment by kragen

Thanks for correcting the record. I've read your HOPL paper but didn't remember.