Compatibilist traditions from Leibniz through Frankfurt hold that freedom is compatible with causal ...