Words with Letters: f o r m a l i z a t i o n s