( li 6 4)