These two are the same as the ones below, so just copy them.