Notes/TODO on evaluation formulas