I båda fallen yrkas påvalresultatets