some constraint TODOs