Soft Libertarianism and Hard Compatibilism