.
lapalingo code coqd