let ini be the def value and see how it works out