Comments on 5.8.2 from Martin Escardo