Links for logicalpy