Some theory are facts actually. ALU, control-flow charts, binary sort, selective sorts, etc. are theories within my field. But they are facts as they are observable (and works).
They are facts UNTIL they are superseded by a better theory. Hence why some theories are not facts whilst some are.



