Analysis of CSCL for Mathematical Proof Based on the Log Data of Learners’ Verbal and Nonverbal Communications . ICCE 2022.