Quote request from Isabelle