i think i accidently solve the top-level completion