commented out FstP, SndP. reduandant with LambdaCCC.CCC