2.42 and notes on 2.33-2.42