Formulas from user OrigamiNL (1)