adapted to renaming of 'Projl' and 'Projr'
adapted to renaming of 'Projl' and 'Projr'

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