Notes for asj2807