assume
7