I've been pinged today for the first time and told to isolate for 5 days. Reading other threads it seems that a lot of people don't have the app or wouldn't isolate if they were pinged.