Ah, it's defined elsewhere, got it.