- added result value inspection examples to synopsis