Text this: Isometric immersions and compensated compactness