Hot: specialverification