Stav dette: Church extension in transition :