Implement C9.