Men formaliter har saken en kanskeännu