Why is it reasonable to assume that? Its fiat on both examples and both examples currently are impossible.