CTAN update: suppose