coqex2014 ex1