formal statements