Zofran Generic Code For Lean