lidate a pragmatic r