Title: Isabelle's Big Bang