Hot: provingitself