lifeschoenfinkelmarkovlambdatohard