Yet they sold more minis than Google sells Pixels.
And somehow we ended up with more Pixels and not minis.