r , t | n.nf .nf f^r (!