paramodular superadditive protomodular semimodular subadditive subhomogeneous biprojective superexponential counimodular quasimodular
in games game function functions and if