infl
not defined yet