Edit Denied

Editing not allowed: InductiveDataType is read-only.