( li 7 3)