inferred result: 7
