PEPPERMINT | RK distribution