Let's keep the checkArgument here