/!\ either both should be called `_killed`, or both `killed` but I think we want the same name here :)