Notes for Adavaithpro