Inverse Logic in 2002