Theory7 in 2001