Very true. Most of it has to do with coding that involves prediction, statistical analysis, vector similarity and other experimental techniques that involve approaches outside the box of formal methods encapsulated in off-the-shelf libraries.