The part in my note was already mentioned somewhere, so I just deleted it