more explicit restriction