Isabelle - private space