When these no longer need to be translated here, we can just make this a one-liner