New logic for QS