What You Can’t Sing Without Penal Substitution