Comment by 2snakes

Well it does in the past with forcing formal methods to brute force learning and break down to buttress intuition.