#patterntheorems