Advanced features of Fact (6)