StatementsProving ver. 0.2