Title: Examples and revision notes for ONC mathematics