implemented defix