A Little Bit of Formal Statements Never Hurt Anybody (#343) - UOI