coq propagation