( li 6 3)