note that {} is satisfies the first two requirements