context AuthorizationActivity inv: self.id->size()>0