Notation tests passing.