Initial Type: True
New Type is Reducible: True