Arto's Notes re: Isabelle