001-Can You Prove Magic?