README: Pattern identity and factorization.