basic support for computation of new properties