def au_plus(X,k):
    return {x for x in X.keys() if X[x]<=k}