Rascal formula.