report finished, with description of case
checked W for MuLambda