Adam Jermyn comments on Bounded complexity of solving ELK and its implications