Notation 53-57