apakah definisi larian habis