Talk:Semi-linear resolution