See HaveThisPattern.