Hot: deductive