: pause to read! use #leanrc ends November 27 good luck vm: me or anyone in lean for a question #leancommunity