Talk:Thomas–Yau conjecture