Do you present multiple VCs on top of this one? Type checking here seems odd. Maybe just checking for the existence of a presented VC will suffice?