Om mot förmodan redan underförsta