They're private fields. We do check them indirectly further down.