this is also used in [B] 5.1.2