lion [ 13257 .]