Update TODO
Added lexicographic property note
Bump version