notational analysis