Claim:
Procedure:
x 0