Hmm, Why `!_bodies.empty()` need to be deleted?