Formulas from user carprule (1)