if-comp: Project to make Fact true (fwd)