Subtraction-Fact-Cover