Supporting Sense Making with Mathematical Bet Lines