Comment Comment by phadej Are you confusing Oleg Grenrus (OPA) and Oleg Kiselyov (http://okmij.org/ftp/)? parent phadej 7 years ago