You do not have access to this note.

moving from a subproof to parent proof