documenting failure in is_absorbing