Ashnault's example question