## Kenward-Roger ≥ Satterthwaite [RSABE / ABEL]

» The EMA’s Method B evaluated by lmer() of package lmerTest. Kenward-Roger’s degrees of freedom ≥ Satterthwaite’s.

May be it's specific of realization in lmer. I can't understand what's under the hood I will make test in SAS.