When IBM "woke up" to the Internet in 1990, think.com was registered by Thinking Machines. When TM folded in 1994(?) we (IBM) were still just getting an Internet group together and I don't think it occurred to any of us to grab think.com (if it was even available).