added dev to SemiExtended