descartes rewritten etc