New: inductivereasoning