almost ready bfs. missing predicates, actions, and bibles