There was an additional candidate on stage last night in Florida, at the debate for the Republican presidential nomination. His name is Gary Johnson, and he’s the former governor of New Mexico. Many people hadn’t heard of Johnson before last night, but he’s already presenting himself as a fiscally conservative libertarian with a proven track record of economic successes. How do his claims match up with reality?