Probably not like Coq.