We don't need to distinguish this case