Clarify TODO.
Simplify constraints by restricting the range of m (number of key words).