From en.wikipedia.org: 1. REDIRECT Formalization [r from alternative name]
1. REDIRECT Formalization [r from alternative name]