If it is true that...

LlmS recently became cheap

and

Working with propositional logic is possible only with LLMs

Then it must be true that...

Working with propositional logic recently became possible

If it is true that...

Working with propositional logic recently became possible

and

People currently don't work with propositional logic

and

Logic map leverages the fact that working with propositional logic recently became possible

Then it must be true that...

Logic map leverages a new opportunity