some dirty things with random generator for formulas. Definitely NOT ready for anything.