1: \begin{abstract}

2: Using instanton homology with coefficients in $\z/2$ we construct a

3: homomorphism $\qt$ from the homology cobordism group $\hcob$ to the integers

4: which is not a rational linear combination of

5: the instanton $h$--invariant and the Heegaard Floer

6: correction term $d$. If an oriented

7: homology $3$--sphere $Y$ bounds a smooth, compact,

8: negative definite $4$--manifold without $2$--torsion in its homology

9: then $\qt(Y)\ge0$, with strict inequality if the intersection form 

10: is non-standard.

11: \end{abstract}

12: