9 + = thirteen