( 5 6« 4)