(%i1) declare(A,constant); featurep(A,constant); constantp(A); (%o1) done (%o2) false (%o3) true Would it be possible to add `constant' to the list of features that `featurep' can answer correctly by farming the query out to `constantp'? Leo -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.