Coq magic Restaurant