Om jag då antager det högstamöjliga