Implementation relations, subchapter ioco done