[Pebbles 007] coq