Formalizing the Binding Problem — ThinkLLM