VM Proof default page