added content: reasoning algorithms