Conjugation of Coq

See:
coq