list comprehension: strip positions where the translation cannot handle them right now;
list comprehension: strip positions where the translation cannot handle them right now;

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