Just curious, is there a reason double underscores are used here?