[Lava 005] formula mathematics