  The cosmetic surgery conjecture is a longstanding conjecture in 3-manifold
theory. We present a theorem about exceptional cosmetic surgery for homology
spheres. Along the way we prove that if the surgery is not a small seifert
$\mathbb{Z}/2\mathbb{Z}$-homology sphere or a toroidal irreducible non-Seifert
surgery then there is at most one pair of exceptional truly cosmetic slope. We
also prove that toroidal truly cosmetic surgeries on integer homology spheres
must be integer homology spheres.
