In the end, formal, rule-based systems aka Programming Languages will be invented to instruct LLMs.