Minor rewording for introduction to logic section