Please post what I put on Laura's notation for the public