elop and validate a prag