[coq] customise variables
Comment