Kanske finnas dessa upplysningar i premisserna,