Ja, behalten Sie einfach Ihr $COQ