typo: `よって満たされ`