Text this: Learners' Functional Understandings of Proof (LFUP) in Mathematics