n-for-all

n-for-all