Reasoning techniques - eustad