As I think another commenter hinted, the binary expansion of 7 is 111. And indeed, 1 = 1 = 1