statement generation