Headers: Implemented satisfy diff.
Message: Implemented satisfy diff.