[Pebbles 002] coq