This does not have to be explicit.