Implemented toExactlyHaveProperties.