updates on notation, explanation sect 2.3