Yes, but does a computer system or tool or AI need to be provably correct or 100% guaranteed not to cause harm to be useful? Alternative methods (human, simple rules) aren’t either. Perfect can be the enemy of good enough. Just being pragmatic here.