Classes to validate the results of overlay operations.