Am 01.08.19 um 10:06 schrieb Jerzy Karczmarczuk: > > You like to play with words. Now the non-termination is > "buggy". Previously the bottom (non-termination) was impure. Do you > really want to save the humanity with such statements? Nice play with words.