use ! for mildly unsound and !! for very unsound encodings
use ! for mildly unsound and !! for very unsound encodings

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