it's reshaping how minds trained on formal methods relate to their own expertise when the formal methods get automated
