formal-ai v0.355.9 — Don't know everything, know just enough to get to know anything