KRs for Pascal