spec proving mutation issue