./test/relaxng/proofsystem.rng validates