lem:3 segue: