Links for logician