Apal spec. issue - Constructive Topology - G. Sambin 60