Logic of Freedom