Add proviso and TODOs.