Beginning Practice with TFL Symbolization