moving declarations back to the section they seem to belong to (cf. afffe1f72143)
moving declarations back to the section they seem to belong to (cf. afffe1f72143)

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