CoCoQ implemented, but not yet correct