Or simply `present := (frontier != nil)`