res
Claim
rhs
And
Or
Xor