Er gebeurt iets met $COQ, maar ik weet niet waarom..
146