rewrite paradox