There's no reason why `DeviceSize` wouldn't have the iPad sizes too (9.7 and 12.9). If not, then it should be named `iPhoneDeviceSize`.