Why is a general one needed here?