Challenging the lore on the strong CP problem