Återstår blott att uppställa enförmodan