SMS dit: Soft libertarianism and hard compatibilism