I think they use normal PN, not RPN.