If it is true that...

Propositional logic currently is expensive to work with

Then it must be true that...

People currently don't work with propositional logic

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