Links for logic-py