Links for logiclm