A Little Bit of Formal Statements Never Hurt Anybody#343