Quick question about HMC

See here.