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