fact5 --> fact4