the solutions of two statements.