Added randomness to formula generating rules.