basic computation of super rules