don't distinguish between "fixes" and other free variables -- this confuses users
don't distinguish between "fixes" and other free variables -- this confuses users

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle