Links for ok-inference