ARKit could help iOS leapfrog over Android in augmented reality