När du förankrar system på bevis i stället för att lita på ett företags ord, låser du upp hela klasser av applikationer som inte skulle kunna existera annars.