Discussion 6: Logic, SDS