proofsystem_valid 0 B