( li 3 _ 0,