Isabelle K-s undefined | The Dots