[todo] correctness