OO reasoning examples