from proposition to incantations