Likewise for the other example.