Title: A computation of [delta] 1 5
Subjects: Set theory