Includes simplification