Title: The Kocska formula