That is, whenever possible the arguments are substituted into the body of an abstraction before the arguments are reduced.
Кад год је могуће, аргументи се замењују у тело абрстракције пре него што су аргументи упрошћени.