Yes, that should get me where I'm trying to go. Do you know anywhere this is written down? I've tried looking but I keep ending up with explanations of the descent condition that is part of the definition of a stack. Thanks in advance.