Words with Letters axiomatisation