RBFS implemented