and-or search tree and vacuum world example.