shouldn't that rule be renamed "Theorom of Obviousness"