So Mark and Red are both deductionists, eh? Things are getting interesting (though he is not social at all :P )