Notation 16-23