Includes simplification 2