を満たすという意味での随伴になっている。