Deleting /coq/417484