Prevost's contradictions