whl/mainbox: links for abductive-learning