technique can be used to compute qualitative properties
