Links for PyContracts3