  We give a brief survey of some facts about homotopy $4$-spheres \cite{a1},
then give a proof that the curious homotopy sphere constructed in \cite{a2} is
in fact diffeomorphic to the standard $S^4$, and discuss its relation to
infinite order loose corks and anti-corks.
