Describir: Keeping computers from making mistakes: quis custodiet?