(> 25 23)