See TestingPatterns.