implemented fully the applic expressions (for any number of variables