Levigo implimentation works theoretically