Searching for proofo6