[M_Church_lr[1]]