placeholder for Isabelle reserved words message