Eller , för att antaga ett ännu svårare fall: