Comment by cout

In theory that is part of what was supposed to have been solved by CAT.