It was my understanding that you just had to provide a safe language without infinite loops (so no ⊥) - is this not true? https://en.wikipedia.org/wiki/Bottom_

It was my understanding that you just had to provide a safe language without infinite loops (so no ⊥) - is this not true? https://en.wikipedia.org/wiki/Bottom_type https://en.wikipedia.org/wiki/Bottom_type