Inside, these black boxes contain formulas made up only of implication and negation.
在这些黑箱内部包含只由蕴涵和否定构成的公式。