add some high level views; tests pass