Obviously, some of this branching, etc. is not differentiable. Is it doing finite differences?