I vanliga fall väljes väl det senare,