Evaluated proc :3 {} {. 1}