plainJainRules