Rantainya adalah: bola di kodomain merupakan lingkungan; hipotesis membawa lingkungan itu melalui prapeta; definisi lingkungan memberi bola di domain; pencirian bola memberi kekontinuan.