Words with Letters axiomatization