( li ‘ 7)