Overspecification in instructive texts