2231: FALSE Tue 7 Oct 2008 21:15:29 Ivan Hope deregistered via #rac (T1) Wed 15 Oct 2008 00:09:24 time mentioned in statement (T2)
Ivan Hope's deregistration at time T1 succeeded (CFJ 2211), and e did nothing between time T1 and time T2 that would cause em to be re-registered.
