theory simplification