This is an example of self-verification.