Hot: deductivereasoning