prologue1-6 is added.