Prove All Things: Libertarian Free Will & Exhaustive Foreknowledge