"The procedures at companies X, Y and Z are correct because their operations require their procedures to be correct" sounds entirely accurate, but doesn't prove that the procedures are correct (or optimal, which is another question not covered by your argument: the status quo can be sufficient but not optimal)
"The procedures at companies X, Y and Z are correct because their operations require their procedures to be correct" sounds entirely accurate, but doesn't prove that the procedures are correct (or optimal, which is another question not covered by your argument: the status quo can be sufficient but not optimal)