Isabelle gravity