Man står alltså inför följande alternativ: