Comment Comment by Raphael_Amiard It’s pattern matching. A big part of reasoning for sure, but not reasoning per se parent Raphael_Amiard 5 months ago