[Brick Wall 014] coq