Under antagande , attI