Discussions with Label: logic