Om , under antagande , attantalet