Kreisel's squeezing argument requires that the informal concept being captured is already sufficient...