[ResolvedTo(BODY_RESOLVE)] b: R|T|