If above is removed, both of these are `undefined`