Proof systems that take advice