I förmodan , at'