add TODOs and specification