Subtraction-Fact-Cover-1