NextAudit$2\_$CSA has the arguments as shown in this LAMBDA:

LAMBDA$($last$\_$audit,company$\_$size,audit$\_$result,business$\_$rule,LET$(...)),$

where business$\_$rule is defined by the above LAMBDA. Make use of the LAMBDA helper function MAP

to implement NextAudit$2\_$CSA and use these buisness rules $1.$if a firm is large and failed, their next audit is in two months.

$2.$ If a firm is large and passed, their next audit is in three months.

$3.$ If a firm is small, their next audit is in four months