Can You Prove it, Lib?