Analyzing intuitionlang.com...