some TODOs added in tex