Abc Fact 4.2