Add new theory: System.Collections_1