Extracting some fns