( li 9 3)