The Logic Is Sound

The Logic Is Sound