Add empty? and every-pred