"* and i know just what to prove *"