You need your best, sharpest pencils but not every pencil will be used to draw everything you would like. Having a clear sense of proportion, measurement and a clear understanding of requirements is essential to get the best out of your toolkit.
With formal verification that is what is needed. A good understanding of methodologies that underpin successful deployment of formal is needed, something that is very often missing from most formal verification training programmes. If you look around, most formal verification training programmes focus on one hand too much on the assertion languages used, their latest and greatest syntactical enhancements, or on the other too much focus on the EDA toolkit and its features.