See notes at Barbell-Logic.com