Calling Lean Functions as Python Functions – Hey There Buddo