Libertarian Logic 101