isempty (polyreduce ([]))
