do is progn