Revision of impl-paper completed.