RT_2^2 does not imply WKL_0 - Lu Liu (2016)