update on Isabelle proof of Monotheism