Qohen Leth, an eccentric programmer in the Ontology Research Department at Mancom Corporation, is assigned the task of proving that life is meaningless based on a Zero Theorem that depends on analysis of the Big Crunch Theory (the universe will expand until it eventually re-collapses). Between his faith in finding meaning to life and his love for his colleague, Bainley, he seeks to find the truth.