Looking forward to hearing about recent progress on the notation front.