Overspecification in instructive texts by J.P.M. Arts