resident phase i · loopbound
unformed