Coq Pr ٪NG=xa(#=<`~