User blog comment:CNBA3/Neinhart = Simon Theory?/@comment-65.25.201.222-20160402205520/@comment-7418318-20160402210328

Yes... the big search bar at the top of the wiki can tell you that.