Assume Arbitrary

Resolute Block