leave is being checked, untested