[Pebbles 004] coq