Vi se uti denna dubbla förmodan enodk