Hot: tverification