 Every genuine scientific theory then, in Popper’s view, is prohibitive, because the theories of natural science take the form of universal statements. “All As are X” is equivalent to “No A is not-X” which is falsified if “Some A is not-X” turns out to be true. For example, the law of the conservation of energy can be expressed as “There is no perpetual motion machine”.