The Logic Is Sound

1