Hot: inductivereasoning