almost functional extension