went through all formal statements