Revised separation logic section.