Microtheory

Removed Outer