gränsande förmodan , attkonungen