Hot: verificationthroughintro