Splitting the COQ