leave-to-1, leave-to-0
