Följaktligen måste man antaga attgrekerne