A promising new foundation for conflict and control: Bridging the gap to verification. Comment on "Active inference and cognitive control: Balancing deliberation and habits through precision optimization" by Riccardo Proietti, Thomas Parr, Alessia Tessari, Karl Friston, & Giovanni Pezzulo. — SciRadar