Now that all of the derived types have disciplined interfaces, we can eliminate