reorder intro to emphasize compatibility with classical logic