Where is `is_fun` ever used?