Documentation for hasPermission