Words with Letters axiomatizations