LazyProd. – After