explain destructors of bisim