Finite axiomatizability of S_2 or T_2 is an open problem, and modal epistemologists following Willia...