( 5lt 3)