So here the part that says less that colon insert is an upper bound of the type parameter S what it means is that we can instantiate S to any type argument as long as the type argument conforms to the bound, conforms to insert. 