Improved Observer-observable, and made various edits.