removed wrong example for proc `of`