Links for synthetic-gymnax