ROBERT E. LUCAS JR