förmodan , att dei