Words with Letters axiomatizes