An inductive argument for proving the non-existence of something/ Also: The Optimum System