Connecting Students’ Informal Language to More Formal Definitions