마크정식의 역링크