Lucas's stuff I1