scribblehooves - Isabelle having to navigate a universe suited...