start of logical view of notation