Exactly, which was why I was surprised to hear Johnson say anything to the contrary like he did. I've also heard that once Trump was nominated, majority of big republican money was pulled and refocused on Johnson, maybe hoping to use him to pull votes from Trump because "anyone, including Hitlery, is better than Trump". Guess its the 'devil you know' or the 'give us Barabbas' mindset.